EndSwitch($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$!undefined